(DEFPROP BUILTCH (LAMBDA(X) (PROG (Z) (SETQ PFLG T) (SETQ ANCESTRY NIL) (SETQ Z (BUILTCH1 X)) (RETURN (COND ((OR (ATOM Z) (EQUAL Z (QUOTE (AND))) (EQUAL X (QUOTE (OR)))) NIL) (T (LIST (QUOTE LAMBDA) (QUOTE (C1 C2)) Z)))))) EXPR)